退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一元下推式自动机和直线程序
Dmitry Chistikov; Rupak Majumdar;
机译:确定性自动推送和一元语言
机译:一元上下文无关文法和下推自动机,描述复杂性和辅助空间下界
机译:具有k个下推逆转和EOL系统的翻转下推自动机是无与伦比的
机译:一元下推自动机和直线程序
机译:有限逆向自动执行
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:按下自动程序的错误恢复和诊断
机译:使用下推式系统进行多线程程序的静态分析
机译:使用推送系统进行多线程程序的静态分析
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。